Institute of Theoretical Computer Science
Welcome to the website of the Institute for Theoretical Computer Science. Our institute deals with the theoretical foundations of computer science, with the following topics being the main focus:
Computability and Complexity Theory
Graph Theory
Algorithms and Data Structures
Logic, specifically SAT-Solving
Sequence Analysis and Data Compression
Bioinformatics
Quantum Computing
Cryptology
In addition to these areas, we are also interested in other aspects of theoretical computer science. You can get a first impression of the institute from the institute poster or the galery next to it - our research in pictures.
Written Examinations
First examination period:
Algorithms and Data Structures - 17.02.2026 from 11 a.m. in Hall 2,3,20,21,22
Foundations of Theoretical Computer Science - 17.02.2026 from 2 p.m. in Hall 3,20,21,22
Introduction to Bioinformatics - 20.02.2026 from 9 a.m. in Room O27/123
Second examination period:
Algorithms and Data Structures - 31.03.2026 from 9 a.m. in Hall 20,21,22,4/5
Foundations of Theoretical Computer Science - 31.03.2026 from 12 p.m. in Hall 1,20,21,22
Introduction to Bioinformatics - 10.04.2026 from 10 a.m. in Room O27/123